<h1>Detailed Summary of Assertion </h1>

Assumptions:
<textarea id="assumptionsBox" rows="5" cols="38"></textarea>
</textarea>

<br>

Assertion:
<textarea id="assertionBox" rows="5" cols="38"></textarea>
</textarea>

<br>

Output:
<textarea id="outputBox" rows="5" cols="38"></textarea>
</textarea>
 
<br>
 
Truth Table:
<textarea id="truthTableBox" rows="15" cols="38"></textarea>
</textarea>

<br>

Parse Tree:
<textarea id="debugBox" rows="24" cols="50">
</textarea>
               

<!-- Down here so that page loads before javascript is run -->
<!-- if multiple js files define the same function, the last one's function is used -->
<script type="text/javascript" src = "StringFunctions.js">
</script>
<script type="text/javascript" src = "table.js">
</script>
<script type="text/javascript" src = "parsing_pl_assume_assert.js">
</script>
<script type = "text/javascript" src = "urlExtract.js">
</script>